qrep(r)
== if isint(r)
== then <r, 1>
== else let p,q = r in spreadn(gcd_reduce(p; q); g,a,b.if 0 z b then <a, b> else <-a, -b> fi )
== fi  

latex

---

clarification:

qrep(r)
== if isint(r;tt;ff)
== then <r, 1>
== else let p,q = r in spreadn(gcd_reduce(p; q); g,a,b.if 0 z b then <a, b> else <-a, -b> fi )
== fi  

latex

Definitions	isint(z;a;b), tt, ff, let x,y = A in B(x;y), spreadn(a; x,y,z.t(x;y;z)), gcd_reduce(p; q), if b then t else f fi , i z j, #$n, <a, b>, -n
FDL editor aliases	qrep